predicate of n variables

[数] n变元谓词

热门查询